|
Sophia Chloe Drossopoulou ((ギリシア語:Σοφία Δροσοπούλου)) is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology. Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness of the Java programming language.〔Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid (1999). (Is the Java Type System Sound )?, ''Theory and Practice of Object Systems'', Volume 5, Issue 1, pp.3–24〕 Her first Ph.D. student was Diomidis Spinellis. She is the daughter of the author Athena Cacouris ((ギリシア語:Αθηνά Κακούρη)). == Bibliography == * Juergen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgaessner (1982). An Attribute Grammar for the Semantic Analysis of Ada, Lecture Notes in Computer Science. ISBN 0-387-11571-4. * D Clarke, S Drossopoulou (2002). Ownership, encapsulation and the disjointness of type and effect, ACM SIGPLAN Notices 37 (11), 292-310. * Sophia Drossopoulou (Ed.): Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78738-9 * Sophia Drossopoulou (Ed.): ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-03012-3 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Sophia Drossopoulou」の詳細全文を読む スポンサード リンク
|